More from this Author

NASA Formal Methods

by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)